properly nilpotent element

真幂零元素